Struct isotope::primitive::logical::BOOL_ANNOT [−][src]
pub struct BOOL_ANNOT { /* fields omitted */ }
Expand description
An annotation of the boolean type, with the default type
Methods from Deref<Target = Annotation>
Check whether this annotation is a sub-annotation of another
pub fn coerced_ty(
&self,
target: &TermId,
ctx: &mut impl TyCtxMut + ?Sized
) -> Result<Annotation, Error>
[src]
pub fn coerced_ty(
&self,
target: &TermId,
ctx: &mut impl TyCtxMut + ?Sized
) -> Result<Annotation, Error>
[src]Attempt to coerce the type of this annotation in a given typing context.
Trait Implementations
type Target = Annotation
type Target = Annotation
The resulting type after dereferencing.
Dereferences the value.